A Prototyping Method Checking Requirements Specification of Embedded Real-Time Software

• 嵌入式实时软件需求规格说明的原型化检测方法